441. Logic minimization algorithms for vlsi synthesis
Author: By Robert K. Brayton ... [et al.]&
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Logic design,Integrated circuits- Very large scale integration,Integrated circuits- Design and construction- Data processing,Algorithms
Classification :
TK
،
7868
،.
L6
,
E78
،
1984
442. Logic of Programming and Calculi of Discrete Design :
Author: edited by Manfred Broy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.
Classification :
QA76
.
9
.
L63
E358
1987
443. Logic of Programs :
Author: edited by Erwin Engeler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science,Computer science.,Logic design.
444. Logic of analog and digital machines /
Author: Paolo Rocchi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Popular works.,Logic design, Popular works.
Classification :
QA76
.
9
.
L63
R63
2010
445. Logic of analog and digital machines
پدیدآورنده : Paolo Rocchi
موضوع : Computer logic, Popular works,Logic design, Popular works
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
446. Logic program synthesis and transformation - meta-programming in logic :
Author: Laurent Fribourg, Franco Turini (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming -- Congresses.,Logic programming.,Programming languages (Electronic computers) -- Congresses.
447. Logic programming :
Author: Sandro Etalle, Mirosław Truszczyński (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programmation logique -- Congrès.
448. Logic synthesis and optimization
Author: / edited by Tsutomu Sasao
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Logic circuits - Design and construction - Data processing,Logic design - Data processing,Computer-aided design
Classification :
TK
7868
.
L6L627
1993
449. Logic synthesis and verification /
Author: editors, Soha Hassoun, Tsutomu Sasao ; consulting editor, Robert K. Brayton
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic circuits-- Computer-aided design,Logic design-- Data processing
Classification :
TK7868
.
L6
L586
2002
450. Logical Design of Digital Systems
Author: / by: Arthur D.Friedman
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Switching theory,Logic Circuits,Computers--Circuits
Classification :
TK7868
.
S9
,.
F74
1975
451. Logical Methods
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science,Logic design,Mathematics,علوم کامپیوتر,طراحی منطقی,ریاضیات
Classification :
E-Book
,
452. Logical Methods
Author: edited by John N. Crossley, Jeffrey B. Remmel, Richard A. Shore, Moss E. Sweedler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Logic, Symbolic and mathematical.,Mathematics.
453. Logical and Computational Aspects of Model-Based Reasoning
Author: edited by Lorenzo Magnani, Nancy J. Nersessian, Claudio Pizzi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Discoveries in science -- Congresses.,Qualitative reasoning -- Congresses.,Science -- Methodology -- Congresses.
454. Logical design of digital systems
Author: Friedman, Arthur D.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Switching theory,Logic circuits,Circuits ، Computers
Classification :
TK
7868
.
S9
F74
455. Logical foundations of computer science
Author: Peter A. Fejer & Dan A. Simovici.,Fejer, Peter A.,
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer logic.
456. Logics in Artificial Intelligence :
Author: edited by Craig MacNish, David Pearce, Luís Moniz Pereira.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic design.
Classification :
Q334
.
E358
1994
457. Logics in artificial intelligence :
Author: José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska, (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence -- Congresses.,Artificial intelligence.,Computer science -- Congresses.
458. Logics of Programs :
Author: by E. Clarke, D. Kozen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Programmation (Informatique) -- Congrès.
459. Logics of Programs :
Author: edited by Dexter Kozen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Programmation (Informatique) -- Congrès.
